Small but Nasty Logic Synthesis Examples
نویسندگان
چکیده
A method to find hard logic synthesis examples with known upper bound is presented. The circuits can be small and yet difficult to synthesize. Any area-related metric can be used in finding the circuits and testing synthesis tools. The hardness of the examples is robust with respect to the metric used and to minor alterations in the circuit.
منابع مشابه
SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications
A logic program development methodology has been proposed by the second author [3]. It aims at programming-in-the-small, and is (mainly) meant for “algorithmic” problems. It starts from a complete, yet informal, specification of the target problem. A crucial step is the design of the logic of the program, based solely on the declarative semantics of logic, and with exclusive concern about corre...
متن کاملPAC Learning with Nasty Noise
We introduce a new model for learning in the presence of noise, which we call the Nasty Noise model. This model generalizes previously considered models of learning with noise. The learning process in this model, which is a variant of the PAC model, proceeds as follows: Suppose that the learning algorithm during its execution asks for m examples. The examples that the algorithm gets are generat...
متن کاملOn the Nature and Signifcance of the Distinction between Thick and Thin Ethical Concepts
Bernard Williams famously distinguishes "thin" from "thick" ethical concepts (Williams 1985, pp.140-142, 150-152). Examples of the former include the concepts of goodness, badness, rightness, wrongness, and obligatoriness. Examples of the latter include not just nice concepts like justice, fairness, and kindness, but also nasty concepts like chastity, slutiness, and poofiness. The nature and si...
متن کاملAnalogical Logic Program Synthesis from Examples
The purpose of this paper is to present a theory and an algorithm for analogical logic program synthesis from examples. Given a source program and examples, the task of our algorithm is to nd a program which explains the examples correctly and is similar to the source program. Although we can de ne a notion of similarity in various ways, we consider a class of similarities from the viewpoint of...
متن کاملInductive Synthesis of Recursive Logic Programs: Achievements and Prospects
The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subfield both of ILP (Inductive Logic Programming) and of the synthesis (in general) of logic programs from formal specifications. We first overview past and present achievements, focusing on the techniques that were designed specifically for the inductive synthesis o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008